/*
	Copyright 2010-2012 Tommaso Previero
	
	This file is part of TeXdocGraphic.

	TeXdocGraphic is free software: you can redistribute it and/or modify
	it under the terms of the GNU General Public License as published by
	the Free Software Foundation, either version 3 of the License, or
	(at your option) any later version.

	TeXdocGraphic is distributed in the hope that it will be useful,
	but WITHOUT ANY WARRANTY; without even the implied warranty of
	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
	GNU General Public License for more details.

	You should have received a copy of the GNU General Public License
	along with TeXdocGraphic.  If not, see <http://www.gnu.org/licenses/>.
	
	Created:		12/05/2012

*/

package it.texdocgraphic.interpreter;

import java.io.File;

public class TexdocResult {
	private String filePath = "";
	private double points = 0;
	private String info = "";
	
	public TexdocResult() {
	}
	
	public TexdocResult(String filePath) {
		this.filePath = filePath;
	}
	
	public TexdocResult(String filePath, int points) {
		this.filePath = filePath;
		this.points = points;
	}

	public void setFilePath(String filePath) {
		this.filePath = filePath;
	}
	
	public String getFilePath() {
		return filePath;
	}
	
	public void setPoints(double points) {
		this.points = points;
	}
	
	public double getPoints() {
		return points;
	}

	public void setInfo(String info) {
		this.info = info;
	}

	public String getInfo() {
		return info;
	}

	public String getLastPartPath() {
		return this.getFilePath().substring(this.getFilePath().lastIndexOf(File.separator, this.getFilePath().lastIndexOf(File.separator)-1)+1);
	}
}
